The entailment operator.

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Discovering Entailment Relations Using "Textual Entailment Patterns"

In this work we investigate methods to enable the detection of a specific type of textual entailment (strict entailment), starting from the preliminary assumption that these relations are often clearly expressed in texts. Our method is a statistical approach based on what we call textual entailment patterns, prototypical sentences hiding entailment relations among two activities. We experimente...

متن کامل

Eliciting Entailment

Interactive construct elicitetion systems may be seen on the one hand as tools for self-realization and construct development and on th~ other as dialectic database systems in which ~hc entire data structure is built up through a process of question, answer and discussion. Current computer-based construct elicitation programs use distance-based measures to feed back construct similarities and t...

متن کامل

The Pure Calculus of Entailment

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Notre Dame Journal of Formal Logic

سال: 1977

ISSN: 0029-4527

DOI: 10.1305/ndjfl/1093888014